#
# Copyright (c) 1994 The University of Utah and
# the Computer Systems Laboratory (CSL).  All rights reserved.
#
# Permission to use, copy, modify and distribute this software and its
# documentation is hereby granted, provided that both the copyright
# notice and this permission notice appear in all copies of the
# software, derivative works or modified versions, and any portions
# thereof, and that both notices appear in supporting documentation.
#
# THE UNIVERSITY OF UTAH AND CSL ALLOW FREE USE OF THIS SOFTWARE IN ITS "AS
# IS" CONDITION.  THE UNIVERSITY OF UTAH AND CSL DISCLAIM ANY LIABILITY OF
# ANY KIND FOR ANY DAMAGES WHATSOEVER RESULTING FROM THE USE OF THIS SOFTWARE.
#
# CSL requests users of this software to return to csl-dist@cs.utah.edu any
# improvements that they make and grant CSL redistribution rights.
#
#      Author: Bryan Ford, University of Utah CSL
#


# This makefile is for the i386 microkernel.
# It is usually included by the Makefile
# configured from the Makefile.in file in this same directory,
# but might be included instead from some other place
# if the i386 code is used in an even more specific configuration.

# XXX support simultaneous SMP and non-SMP kernels.

#### Start of configuration section ####

GSRCDIR	= @top_gsrcdir@
MSRCDIR = @top_srcdir@
OBJDIR	= @top_objdir@

prefix = @prefix@
exec_prefix = @exec_prefix@

include $(OBJDIR)/Makeconf

##### End of configuration section #####


# First define what we're trying to accomplish.
TARGET	= kernel

# Everything else is done in here.
include $(MSRCDIR)/kernel/Makerules
